Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
PHP: Do you need async?
dev.to·1d·
Discuss: DEV
🔄Concurrency
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
composio.dev·9h·
Discuss: r/ClaudeAI
📦Folly
Flag this post
Transaction-Oriented Programming
btmc.substack.com·16h·
Discuss: Substack
🧠Memory Models
Flag this post
Unlocking the Unsolvable: Parallel Search Algorithms Conquer Complexity by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
🔍Fractional Cascading
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.com·3h·
Discuss: Hacker News
🕐Vector Clocks
Flag this post
OrKa v0.9.6: deterministic agent routing for local LLM stacks (multi factor scoring, OSS)
reddit.com·15h·
Discuss: r/LocalLLaMA
🦙Ollama
Flag this post
Profiling Go Programs using Pprof and k6
pears.one·8h·
Discuss: r/golang
📊Perf
Flag this post
Best practices for abstracting large go func(){}() blocks in Go? Handling many parameters, closures, and concurrency.
reddit.com·2d·
Discuss: r/golang
🔵Go
Flag this post
EP189: How to Design Good APIs
blog.bytebytego.com·14h
🎨API Design
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
github.com·1d·
Discuss: r/C_Programming
λFunctional Programming
Flag this post
How I repurposed async await to implement coroutines for a Game Boy emulator
sanjeetnd.com·6d·
Discuss: r/rust
⏳Async Rust
Flag this post
Rust Concurrency for Go Developers: Achieving Full Compile-Time Safety
dev.to·2d·
Discuss: DEV
🔀Crossbeam
Flag this post
Troupe：multi-role finite state machine
ziggit.dev·4h·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
EverMemOS
everm.ai·1h·
Discuss: Hacker News
🧠Memory Models
Flag this post
Can Language Models Optimize Real-World Repositories on Real Workloads?
swefficiency.com·19h·
Discuss: Hacker News
📊Profile-Guided Optimization
Flag this post
Protobuf Meets Valhalla: Hacking with Java Value Classes (JEP 401)
dariobalinzo.medium.com·1d·
Discuss: Hacker News
📄FlatBuffers
Flag this post
Event Design for Streaming Systems: A Primer
iankduncan.com·18h·
Discuss: Hacker News
🥑Avro
Flag this post
The "Vibe-Coding" Epidemic
app.codalio.com·2d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Coding in AI Era: Adapt Your Methods
dev.to·1h·
Discuss: DEV
🎭Program Synthesis
Flag this post